Démontrer :
On modélise la situation par un Temps d'arrêt.

On applique un résultats aux temps d'arrêt \(T\land n\) et \(n\).

On peut alors décomposer \({\Bbb E}[X_{T\land n}]\) via une indicatrice indiquant si on est \(\leqslant n\) ou pas.

Une majoration de la première espérance nous permet de conclure.
